A Review of Model Based Slicing

Software testing is important to reduce errors, maintenance and overall software costs. Testing the software is an activity whose aims to evaluate the feature or competency of system and determining that whether it meets required prospects. To comfort this one way is program slicing, this method is to break down the large programs into smaller ones and other is model based slicing that break down the large software architecture model into smaller models at the initial stage of SDLC (Software Development Life Cycle). It is completely a new approach to extract the sub model from a big model diagrams on the basis of slicing criteria. The planned procedure used the concept of model based slicing to slice the sequence diagram to extract the desired piece. This literature survey presents an overview of Model based slicing, including the various general methods and techniques used to compute slices. Keywords— Model Based Slicing, Feature Based Slicing, UML/OCL Model Verification, Model Transformation Verification Through Slicing, Dependency Graph, Model.